Merge branch 'primary-menu-button' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 3 Jun 2021 19:37:23 +0000 (19:37 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 3 Jun 2021 19:37:23 +0000 (19:37 +0000)
commite8852c9a25c64843ad42be2e97e3226507c7f448
treefcad71e54d3b9bad5f2282671b8ab61ee3ae7660
parentfa0b379d30f3ad866248a1171837de8aad4d49d4
parenta74420bc1a501f6ee951ed152e8f9a941b0c8438
Merge branch 'primary-menu-button' into 'master'

menubutton: Enable F10 for primary menus

See merge request GNOME/gtk!3580
gtk/gtkwindow.c